HomeПоиск по сайту

Поиск по сайту

Information
По вашему запросу найдено материалов: 1
Искать:
Podymov Vladislav V. «Efficient equivalence-checking algorithms for propositional Mealy programs over balanced frames» // Applied Discrete Mathematics 2025. №70 C.72-101